...词: 三角函数化简 组合规则 规则链表 可读证明 自动推理[gap=1343]Key words: simplification of trigonometric expressions; combination rules; rule lists; readable proofs; automated reasoning..
基于6个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动